Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
571	Symbolic Automata for Static Specification Mining Hila Peleg1 , Sharon Shoham2 , Eran Yahav3 , and Hongseok Yang4 1 Tel Aviv University, Israel Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2013-05-17 17:02:48 Models of computation Theoretical computer science Model theory Combinatorics on words Logic Structure Finite-state machine Deterministic finite automaton Interpretation Automata theory Formal languages Mathematics
572	Logic, Automata, Games, and Algorithms Moshe Y. Vardi Rice University Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-06-11 21:41:58 Computer science Deterministic finite automaton Nondeterministic finite automaton Model theory Regular language Structure First-order logic Powerset construction Linear temporal logic Automata theory Theoretical computer science Logic
573	Dense periodic points in cellular automata F. Blanchard Devaney defines a topological dynamical system to be chaotic if it is sensitive to initial conditions, transitive, and has a dense set of periodic points; several a Add to Reading List Source URL: www.math.iupui.edu Language: English - Date: 2000-11-25 20:55:33 Dense set Cellular automaton Mathematics Subshift of finite type
574	Learning for Multi-Agent Decision Problems Geoff Gordon [removed] Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-07-11 12:13:37 Economic model Macroeconomic model Multi-agent system Artificial intelligence Ethology Computer science Cognition Intelligent agent Models of computation Automata theory Finite-state machine
575	Flow Analysis for Verifying Properties of Concurrent Software Systems MATTHEW B. DWYER University of Nebraska Lincoln LORI A. CLARKE and JAMIESON M. COBLEIGH University of Massachusetts Amherst Add to Reading List Source URL: laser.cs.umass.edu Language: English - Date: 2008-09-29 10:52:38 Mathematics Formal methods Logic in computer science Models of computation Model checking Finite-state machine Formal verification Data-flow analysis Sequence Theoretical computer science Automata theory Applied mathematics
576	Department of Foundations of Computer Science ´ [8] Z. Esik and W. Kuich, Axiomatizing rational series, 8th Panhellenic Logic Symposium, Ioannina, 2011, 30–34. ´ Add to Reading List Source URL: www.inf.u-szeged.hu Language: English - Date: 2013-10-26 05:30:52 Mathematics Applied mathematics Combinatorics on words Tree automaton Descriptional Complexity of Formal Systems Finite-state machine Alphabet Regular tree grammar International Conference on Developments in Language Theory Formal languages Theoretical computer science Automata theory
577	derived several key results of the theory of automata in the axiomatic settings. THEORETICAL COMPUTER SCIENCE The research performed in the Department of Foundations of Computer Science lies in the intersection of algebr Add to Reading List Source URL: www.inf.u-szeged.hu Language: English - Date: 2010-05-13 07:14:20 Mathematics Combinatorics on words Applied mathematics Models of computation Tree automaton Alphabet Finite-state machine Theory of computation International Conference on Developments in Language Theory Formal languages Automata theory Theoretical computer science
578	The Tempo Language User Guide and Reference Manual Nancy A. Lynch, Stephen J. Garland, Dilsun Kaynar, Laurent Michel, Alex Shvartsman Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Tec Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:10:46 Theoretical computer science Cellular automata Formal methods Computer science Model checkers Automata-based programming Automata theory Model checking Finite-state machine
579	Microsoft Word - gecow_work.doc Add to Reading List Source URL: www.jucs.org Language: English - Date: 2006-11-02 05:53:32 Knowledge Systems science Automata theory Systems Cellular automaton Finite-state machine Complexity Control theory Adaptation Cybernetics Science Systems theory
580	The Tempo Language User Guide and Reference Manual Nancy A. Lynch, Stephen J. Garland, Dilsun Kaynar, Laurent Michel, Alex Shvartsman Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Tec Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-10-24 14:32:42 Applied mathematics Models of computation Computer science Model checking Finite-state machine Formal language Algorithm Theoretical computer science Automata theory Mathematics

UPDATE